Merge branch 'wip/jimmac/menu-styling-adjustments' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Wed, 13 May 2020 17:18:45 +0000 (17:18 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Wed, 13 May 2020 17:18:45 +0000 (17:18 +0000)
Wip/jimmac/menu styling adjustments

See merge request GNOME/gtk!1891


Trivial merge